/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package br.ufpr.inf.escel.testing.model;

/**
 *
 * @author gustavo
 */
public class CutPO extends Cut {

    public String projectName() {
        return basename() + ".jbt";
    }

    public String classeInstrumentada() {
        return basename() + ".jar";
    }
    
    public String traceFile(){
        return basename() + ".trc";
    }

    /**
     * Retorna o nome da classe sem extensão
     * @return TriTyp
     */
    public String basename() {
        return getPrograma().split("\\.")[0];
    }
}
